Subtype polymorphism - PDFSEARCH.IO - Document Search Engine

Subtype polymorphism
Results: 217

#	Item
161	Space-Efficient Gradual Typing David Herman1 , Aaron Tomb2 , and Cormac Flanagan2 2 1 Northeastern University University of California, Santa Cruz Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-03-07 18:27:14 Type theory Data types Object-oriented programming Functional languages Procedural programming languages Subtype polymorphism ALGOL 68 Type system Polymorphism Software engineering Computing Programming language theory
162	Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-01-23 19:49:52 Algebraic geometry Field theory Valuation Subtype polymorphism Lambda calculus Function Entailment Natural deduction M-estimator Logic Mathematics Deduction
163	Compositional and Decidable Checking for Dependent Contract Types Kenneth Knowles Cormac Flanagan Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2008-08-13 16:45:51 Type theory Data types Polymorphism Models of computation Lambda calculus Type system Subtype polymorphism Denotational semantics System F Software engineering Theoretical computer science Mathematics
164	Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-01-23 19:49:52 Algebraic geometry Field theory Valuation Subtype polymorphism Lambda calculus Function Entailment Natural deduction M-estimator Logic Mathematics Deduction
165	Efficiency of Subtype Test in Object Oriented Languages with Generics Alexandre Terrasa Jean Privat Add to Reading List Source URL: icooolps.loria.fr Language: English - Date: 2013-07-02 08:41:16 Type theory Cross-platform software Object-oriented programming Java platform Polymorphism Generic programming Covariance and contravariance Subtype polymorphism Type system Computing Software engineering Computer programming
166	Coq with Classes Matthieu Sozeau Currently at the IAS, Princeton Project Team πr 2 INRIA Rocquencourt & Add to Reading List Source URL: mattam.org Language: English - Date: 2012-10-08 11:22:07 Computer programming Data types Object-oriented programming Polymorphism Functional languages Type class Subtype polymorphism Ad-hoc polymorphism Generic programming Software engineering Computing Type theory
167	Mechanized Metatheory for the Masses: The PoplMark Challenge Brian E. Aydemir1 , Aaron Bohannon1 , Matthew Fairbairn2 , J. Nathan Foster1 , Benjamin C. Pierce1 , Peter Sewell2 , Dimitrios Vytiniotis1 , Geoffrey Washburn1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-11-30 06:37:29 Mathematics Formal methods Deduction Proof theory Data types POPLmark challenge Subtype polymorphism Twelf Type safety Type theory Logic Theoretical computer science
168	Universe Polymorphism: Subtyping and Unification Matthieu Sozeau Project Team πr 2 INRIA & PPS, Paris 7 Add to Reading List Source URL: mattam.org Language: English - Date: 2014-01-16 05:12:23 Computing Polymorphism Data types Functional programming Subtype polymorphism Bounded quantification System F Inheritance Unification Software engineering Type theory Object-oriented programming
169	Parameterized Types for GOO by James Knight S.B. in Electrical Engineering and Computer Science from the Massachusetts Institute of Technology (2002) Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2002-09-26 10:07:51 Programming language theory Data types Polymorphism Method Object-oriented programming Type system Constructor Subtype polymorphism Type safety Software engineering Computing Type theory

UPDATE